Buy Used and New Armin Biere Books

Digitaltechnik - Eine Praxisnahe Einfa1/4hrung: Eine praxisnahe Einführung (Springer-Lehrbuch)

by Armin Biere,Daniel Kroening,Christoph Wintersteiger

ISBN 13: 9783540777281

Format: Paperback (226 pages)
Publisher: Springer
Published: Apr 2008

Save for later

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings: 4121 (Lecture Notes in Computer Science)

by Carla P. Gomes,Armin Biere

ISBN 13: 9783540372066

Format: Illustrated (448 pages)
Publisher: Springer
Published: 26 Jul 2006

Save for later

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... 7857 (Lecture Notes in Computer Science)

by Armin Biere,Amir Nahir,Tanja Vos

ISBN 13: 9783642396106

Format: Paperback (296 pages)
Publisher: Springer
Published: 19 Jul 2013

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... 12078 (Lecture Notes in Computer Science)

by Armin Biere,David Parker

ISBN 13: 9783030451899

Format: Paperback (528 pages)
Publisher: Springer
Published: 18 Apr 2020

Save for later

Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336)

by Armin Biere,Marijn Heule,Hans Van Maaren,Toby Walsh

ISBN 13: 9781643681603

Format: Hardcover (1465 pages)
Publisher: Ios Pr Inc
Published: 05 May 2021

Save for later